Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
241	FebruaryJOHN REGEHR School of Computing 50 South Central Campus Drive, Rm 3190 University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-03-08 23:58:11 Conference on Embedded Networked Sensor Systems Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Symposium on Theory of Computing
242	25_PPP_MeetingMinutes_111107_Final Add to Reading List Source URL: www.nordgen.org Language: English - Date: 2012-05-11 10:07:13 Meeting Computing Programming language theory ALGOL 68 Software engineering
243	Keyword Compiler™ keywording software for individual creators, photo agencies and corporations Keyword Compiler started in the late 1990’s as an in-house keywording tool for the first CD-ROM catalog of International Add to Reading List Source URL: www.keywordcompiler.com Language: English - Date: 2007-11-16 16:16:49 Software engineering Programming language theory Computing C Cross-platform software
244	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
245	New York Post, Sunday, June 14, 2015 nypost.com 62 Add to Reading List Source URL: nyp.nypost.com Language: English - Date: 2015-06-14 04:59:58 Software engineering Akaike information criterion Computing Programming language theory New York State Route 100 ALGOL 68
246	Feature-Speciﬁc Proﬁling Vincent St-Amour Leif Andersen Matthias Felleisen PLT @ Northeastern University CC 2015 — April 18th, 2015 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Computing Programming language theory Software engineering ALGOL 68
247	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory
248	Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 16:31:37 Software engineering Instruction set architectures Instruction selection Code generation ALGOL 68 Intermediate language Hamming weight ARM architecture Programming language theory Computing Compiler construction
249	BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-10 12:36:02 Logic in computer science Process calculi Sheaf theory Π-calculus Programming language semantics Bisimulation Presheaf Coinduction Process calculus Mathematics Theoretical computer science Applied mathematics
250	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory

UPDATE